Formal semantics - PDFSEARCH.IO - Document Search Engine

Formal semantics
Results: 502

#	Item
481	PDF Document Add to Reading List Source URL: www.jakubszymanik.com Language: English - Date: 2011-11-28 08:04:25 Predicate logic Model theory Semantics Formal languages Jaakko Hintikka Generalized quantifier First-order logic Branching quantifier Second-order logic Logic Mathematical logic Quantification
482	PDF Document Add to Reading List Source URL: www.cs.unipr.it Language: English - Date: 2013-08-29 05:40:27 Logic in computer science Data types Formal methods Programming language semantics Type theory Abstract interpretation Operational semantics Programming language Semantics of programming languages Theoretical computer science Programming language theory Software engineering
483	PDF Document Add to Reading List Source URL: www.daimi.au.dk Language: English - Date: 2001-11-07 07:43:47 Computer science Formal methods Logic in computer science Programming language semantics Diagrams Petri net Process calculus State transition system Formal language Models of computation Theoretical computer science Concurrency
484	PDF Document Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2009-02-16 14:50:09 Mathematics Formal methods Semantics of programming languages Operational semantics Programming language Formal verification Compiler correctness Axiomatic semantics Logic Theoretical computer science Logic in computer science Software engineering
485	PDF Document Add to Reading List Source URL: cdn.preterhuman.net Language: English - Date: 2012-10-01 15:29:33 Applied mathematics Programming language theory Formal languages Formal methods Models of computation Semantics of programming languages Denotational semantics Operational semantics Programming language Theoretical computer science Programming language semantics Logic in computer science
486	PDF Document Add to Reading List Source URL: people.umass.edu Language: English - Date: 2005-02-11 17:40:30 Logic Grammar Formal languages Lambda calculus Montague grammar Richard Montague Formal semantics Barbara Partee David Dowty Semantics Linguistics Philosophy of language
487	PDF Document Add to Reading List Source URL: people.umass.edu Language: English - Date: 2005-04-28 17:28:56 Formal Semantics in Moscow Pragmatics Moscow Barbara Partee Grammar Formal semantics Russian State University for the Humanities University of Massachusetts Amherst Moscow State University Semantics Philosophy of language Linguistics
488	PDF Document Add to Reading List Source URL: people.umass.edu Language: English - Date: 2001-06-07 11:58:17 Formal languages Philosophy of language Grammar Logical syntax Montague grammar Formal semantics David Dowty Principle of compositionality Richard Montague Linguistics Semantics Logic
489	PDF Document Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2004-11-11 23:19:03 Predicate logic Formal languages Semantics Metalogic Model theory Interpretation Alloy Mereology Quantification Logic Mathematical logic Mathematics
490	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-12-22 10:08:52 Modal logic Philosophical logic Metalogic Formal languages Linear temporal logic Interpretation First-order logic Temporal logic Kripke semantics Logic Mathematical logic Model theory

UPDATE